Solomon Feferman

Solomon Feferman (born 13 December 1928) is an American philosopher and mathematician with major works in mathematical logic. He was born in New York City, New York, and received his Ph.D. in 1957 from the University of California, Berkeley under Alfred Tarski. He is a Stanford University professor.

Feferman was awarded the Schock Prize in logic and philosophy in 2003 and delivered the Tarski Lectures in 2006.

Feferman was the editor-in-chief of the Collected Works of Kurt Gödel.

Publications

In the Light of Logic (Oxford University Press, 1998, ISBN 0-19-508030-0, Logic and Computation in Philosophy series) review.
Avigad, J.; Feferman, S. (1998) Gödel's functional (``Dialectica) interpretation. Handbook of proof theory, 337--405, Stud. Logic Found. Math., 137, North-Holland, Amsterdam.
Feferman, S.; Vaught, R. L. (1959) The first order properties of products of algebraic systems. Fund. Math. 47, 57--103.
Feferman, Solomon (1979) Constructive theories of functions and classes. Logic Colloquium '78 (Mons, 1978), pp. 159--224, Stud. Logic Foundations Math., 97, North-Holland, Amsterdam-New York.
Feferman, Solomon (1975) A language and axioms for explicit mathematics. Algebra and logic (Fourteenth Summer Res. Inst., Austral. Math. Soc., Monash Univ., Clayton, 1974), pp. 87--139. Lecture Notes in Math., Vol. 450, Springer, Berlin.
Buchholz, Wilfried; Feferman, Solomon; Pohlers, Wolfram; Sieg, Wilfried (1981) Iterated inductive definitions and subsystems of analysis: recent proof-theoretical studies. Lecture Notes in Mathematics, 897. Springer-Verlag, Berlin-New York.
Feferman, Solomon; Hellman, Geoffrey (1995) Predicative foundations of arithmetic. J. Philos. Logic 24, no. 1, 1--17.

Rolf Schock Prize laureates

Logic and philosophy	Willard Van Orman Quine (1993) · Michael Dummett (1995) · Dana Scott (1997) · John Rawls (1999) · Saul Kripke (2001) · Solomon Feferman (2003) · Jaakko Hintikka (2005) · Thomas Nagel (2008)

Mathematics	Elias M. Stein (1993) · Andrew Wiles (1995) · Mikio Sato (1997) · Yuri I. Manin (1999) · Elliott H. Lieb (2001) · Richard P. Stanley (2003) · Luis Caffarelli (2005) · Endre Szemerédi (2008)

Musical arts	Ingvar Lidholm (1993) · György Ligeti (1995) · Jorma Panula (1997) · Kronos Quartet (1999) · Kaija Saariaho (2001) · Anne Sofie von Otter (2003) · Mauricio Kagel (2005) · Gidon Kremer (2008)

Visual arts	Rafael Moneo (1993) · Claes Oldenburg (1995) · Torsten Andersson (1997) · Herzog & de Meuron (1999) · Giuseppe Penone (2001) · Susan Rothenberg (2003) · SANAA / Kazuyo Sejima + Ryue Nishizawa (2005) · Mona Hatoum (2008)